军事MAS中战斗行为协调的计算

在军事MAS(multi—agent system多自主体系统)中制订规划／计划时需要对任务和战斗行为相互问存在的依赖关系和时序关系进行分析，计算出可保障MAS中相互进行良好协作的行为序列，避免因可能发生的时序错误、冲突造成协作失败。论述IA(区间代数)网络计算应用于军事MAS中的任务／战斗行为协调时的基本方法和应注意的问题。     

INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解的一致性计算。     

英语阅读中含蓄意义探析

把握好阅读中语意暗含，是读者必须掌握的较复杂的高层次阅读技能之一，从4个方面以实例阐析了如何挖掘阅读理解中语意暗含，以帮助读者全面准确地理解原文．     

m×n广义行列式按一行展开的性质

笔者曾在“m×n广义行列式的定义及运算性质”一文中详细介绍了m×n广义行列式的概念及运算性质。为了今后研究问题方便，本文将给出它的另外一个重要的运算性质——按一行展开定理。这个性质在某种程度上将简化广义行列式的运算，但更主要的是在理论上的应用价值。     

Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.     

FILTERED-GRADED TRANSFER OF SAGBI BASES IN SOLVABLE POLYNOMIAL ALGEBRAS

IntroductionThe method of SAGBI bases calculations in-troduced by Refs.[1 ,2 ]has turned out to be apowerful tool in the subalgebra theory of solvablepolynomial algebras(including commutative poly-nomial algebras,iterated Ore extensions,universalenveloping algebras of finite dimensional Lie alge-bras and particulary Weyl algebras) [3 ] .The aboveSAGBI bases give well hehaved generating sets ofsubalgebras.In this paper,by mimicking Li andWu' s method of filtered- graded transfer of Groeb…     

RELATIONS OF DERIVATIVE ALGEBRA AND RING OF DIFFERENTIAL OPERATORS IN CHARACTERISTIC p>0

Let K be a field of characteristic p>0. We prove that the derivative algebra of K[x1,…,xn] is a proer subring of the ring of differential operators of K[x1,…,xn]. A concrete example is given to show that there is a differential operator of order p that does not belong to the derivative algebra. By these results, is follows that the derivative algebra is Morita equivalent to K[xp1,…,xpn], and hence its global homological dimension, Krull dimension, K0 group and some other properties are got.     

RELATIONS OF DERIVATIVE ALGEBRA AND RING OF DIFFERENTIAL OPERATORS IN CHARACTERISTIC p>0

Introduction　　 Let K be a field,K [X ]∶=K [x1,… ,xn]bethe polynomial ring in n variables.We know thatwhen K is a field with ch( K ) =0 ,then the Weylalgebra An( K) ,the ring of differential operatorsD( K[X]) ,and the derivative algebraΔ ( K [X])which is generated by{xi, i| i=1 ,… ,n}in End KK[X]are all isomorphic[1～ 3 ] .But if ch( K) =p>0 ,the three do not have that relation.In factΔ( K[X]) is only a quotientof An( K) [4] ;and Ref.[5 ]gives a comprehensive study to the rela…     

基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

英语词汇隐喻在大学体验英语综合教程中的运用

隐喻作为一种与人类思维密切相关的语言现象,势必贯穿语篇的方方面面.许多英语词汇完全符合隐喻思维认知模式,在大学英语教材中也毫不例外出现许多词汇隐喻现象.该论文以丰富的实例对大学体验英语综合教程这一套教材里出现的英语词汇隐喻现象进行了分析并提出了英语词汇隐喻对英语教学的启示.